

Checking transition consistency


msc diagrams: three_way_teardown1(19) and three_way_teardown2(16)
INCONSISTENCY:
Matching formula: m19 = k16
Precondition 1: rel (m19 , n19 , three_wayconnected k19); Precondition 2: rel (m16 , n16 , three_wayconnected k16);
Post condition 1: rel (n19 , k19 , connected); Post condition 2: state (m16 , dial) & state (n16 , dial);